module va_list_a { header "va_list_a.h" }
module va_list_b { header "va_list_b.h" }
module top { header "top.h" }
module left { header "left.h" }
module right { header "right.h" }