00000000004012a7 <phase_1>:
    4012a7:       48 83 ec 08             sub    $0x8,%rsp
    4012ab:       be 68 24 40 00          mov    $0x402468,%esi
    4012b0:       e8 37 00 00 00          callq  4012ec <strings_not_equal>
    4012b5:       85 c0                   test   %eax,%eax
    4012b7:       74 05                   je     4012be <phase_1+0x17>
    4012b9:       e8 f1 01 00 00          callq  4014af <phase_2>
    4012be:       48 83 c4 08             add    $0x8,%rsp
    4012c2:       c3                      retq