1 2 3 4 5 6 7 8 9
#include <stdio.h> #include <stdint.h> #include <inttypes.h> extern uint64_t dummyload(void); int main() { printf("%" PRIu64 "\n", dummyload()); }