40052c: 48 b8 01 46 ef be ad    movabs $0x1064deadbeef4601,%rax
  400533:   de 64 10
  400536:   48 0f af d0             imul   %rax,%rdx
  40053a:   48 b8 69 25 b4 07 2e    movabs $0xd1038d2e07b42569,%rax
  400541:   8d 03 d1
  400544:   48 39 c2                cmp    %rax,%rdx