#include "out.h" /* toc */ void main__(void) { int64_t salkdfj = 123; float something = 6.320000; int64_t baz = 5; int64_t bar = 4; int64_t foo = 3; } int main(void) { main__(); return 0; }