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