module foo { namespace foo; prefix foo; feature foo; choice foo { leaf bar { if-feature foo; type string; } } }