module X {
  module T {
    header "X.h"
    export *
  }
  export *
}