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