#include "out.h" /* toc */ void foo(void) { } void main__(void) { foo(); } int main(void) { main__(); return 0; }