module Foo {
  header "foo.h"
  export *
}