Define ABI using r8 instead of r7