x86-64: use r8/r9 as generic integer registers