# Pastebin K7EH3jP1
> (m unsafe-bytes-ref)
       0: 4883fd02                       (cmp rbp #x2)
       4: 7512                           (jnz (+ rip #x12)) ; => 18
       6: 48c1ff03                       (sar rdi #x3)
       a: 4a0fb66c0709                   (movzx rbp (mem8+ rdi #x9 (* r8 #x1)))
      10: 48c1e503                       (shl rbp #x3)
      14: 41ff6500                       (jmp (mem64+ r13 #x0))
      18: e98393cef9                     (jmp (+ rip #x-6316c7d)) ; #<code doargerr> ; <=
      1d: 0f1f8000000000                 (data)