module modpath {
  namespace "urn:yanglint:modpath";
  prefix mp;
}