module {
    namespace "urn:test:foo";
    prefix aug;
}