Comment by gsg

That still exists though? add rax, rbx/jo overflow_error is how you do overflow checking on x86-64.