module Module1 {
  header "module1.h"
  export *
}

module Module2 {
  header "module2.h"
  export *
}

module BaseModule {
  header "base_module.h"
  export *
}