module stdarg [system] {
  header "stdarg.h" // note: supplied by the compiler
}
module va_list_a { header "va_list_a.h" }
module va_list_b { header "va_list_b.h" }