1 #include <cstdint> 2 #include <iostream> 3 4 uint64_t g_foo = 5; 5 uint64_t g_bar = 6; 6 uint64_t g_baz = 7; 7 main()8 int main() { 9 int val = 8; 10 printf("Hello world! %d\n", val); 11 return 0; 12 } 13