module module1 {
  namespace "urn:yanglint:module";
  prefix m;
  leaf m { type string; }
}