module DepBuiltin {
header "h1.h"
  export *
}