0x424ed6:	div    %rbx
0x424ed9:	mov    %eax,%ecx
0x424edb:	mov    0x8(%rsp),%rax
0x424ee0:	cmp    $0x64,%ecx
0x424ee3:	mov    %rax,0x10(%r12)
0x424ee8:	mov    $0x64,%eax
0x424eed:	cmovbe %ecx,%eax
0x424ef0:	add    $0xab8,%rsp
0x424ef7:	pop    %rbx
0x424ef8:	pop    %r12
0x424efa:	retq   
0x424efb:	nop    
0x424efc:	nopl   0x0(%rax)
0x424f00:	mov    %rbx,-0x20(%rsp)
0x424f05:	mov    %rbp,-0x18(%rsp)
0x424f0a:	mov    %rdi,%rbx