__libc_start_main(0x4005e4, 1, 0x7fffae1cd278, 0x400680, 0x400670 fopen("hello.txt", "w") = 0xae7010 fprintf(0xae7010, "%s", "./hello.exe") = 11 fprintf(0x395df76860, "%d", 11) = 2 +++ exited (status 0) +++