x86-64 register mangling example.