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