Tune register allocation to avoid unintentional clobbers on 64-bit
Add a workaround for 64-bit syscall issue