module prebuilt { header "a.h" }