About to nail the x86_64 calling conventions