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