int main (int argc, char *argv[]) { c_main (); b_main (); return 0; }
int main(void) { Addr *addr; Buffer *buf; return b_main(addr, buf); }
int main(void) { int f; return b_main(f); }
int main(void) { int n; return b_main(n); }
int main(void) { int a, b, c; return b_main(a,b,c); }