#include <cstdint>
#include <iostream>
uint64_t g_foo = 5;
uint64_t g_bar = 6;
uint64_t g_baz = 7;
int main() {
int val = 8;
printf("Hello world! %d\n", val);
return 0;
}
#include <cstdint>
#include <iostream>
uint64_t g_foo = 5;
uint64_t g_bar = 6;
uint64_t g_baz = 7;
int main() {
int val = 8;
printf("Hello world! %d\n", val);
return 0;
}