000000010efbfeb3: 48b90000000000000000  mov rcx, 0x0
000000010efbfebd: 4883f801              cmp rax, 0x1
000000010efbfec1: 0f8419000000          jz dword 0x10efbfee0 (foo+0x30)
000000010efbfec7: 4889c1                mov rcx, rax
000000010efbfeca: 4883e10f              and rcx, 0xf
000000010efbfece: 4883f906              cmp rcx, 0x6
000000010efbfed2: 488d4807              lea rcx, [rax+0x7]
000000010efbfed6: 0f8504000000          jnz dword 0x10efbfee0 (foo+0x30)
000000010efbfedc: 488b481a              mov rcx, [rax+0x1a]