module StdDef {
  module SizeT {
    header "size_t.h"
    export *
  }

  module Other {
    header "other.h"
    export *
  }

  module PtrDiffT {
    header "ptrdiff_t.h"
    export *
  }

  module IncludeAgain {
    header "include_again.h"
    export *
  }
}