0x000000000040123b <+222>:   lea    0x8(%rdi,%rdi,4),%rdi
   0x0000000000401240 <+227>:   lea    (%rdi,%rdi,8),%rdi
   0x0000000000401244 <+231>:   sub    $0x15,%rdi
   0x0000000000401248 <+235>:   add    $0x8,%rdi
   0x000000000040124c <+239>:   cmp    %rdx,%rdi
   0x000000000040124f <+242>:   je     0x40125f <phase_3+258>