Oh, and by the way, on Posix-like x86_64 systems, the parameters will be in registers (RDI, RSI, RDX) anyway…