module Module {
  header "Module.h"
  export *
}