gistfile1.c

int main(int argc, char **argv) {
	ARGC = argc;
	ARGV = argv;

    int result = harlan_main();

    printf("JITTIME: %f\n", double(g_memtime) / 1e9);

    return result;
}

gistfile2.txt

(gdb) disassemble main
Dump of assembler code for function main(int, char**):
   0x0000000000403210 <+0>:     mov    0x208d81(%rip),%rax        # 0x60bf98
   0x0000000000403217 <+7>:     mov    %edi,(%rax)
   0x0000000000403219 <+9>:     mov    0x208da0(%rip),%rax        # 0x60bfc0
   0x0000000000403220 <+16>:    mov    %rsi,(%rax)
   0x0000000000403223 <+19>:    jmpq   0x403f00 <harlan_main()>
End of assembler dump.