module foo {
  namespace foo;
  prefix foo;

  feature foo;

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