module Mixed {
  header "Mixed.h"
  export *

  explicit module Submodule {
    header "Submodule.h"
    export *
  }
}