> printf(“%d, %f”, f, i); // Swapping float and int – could print nonsense, or might actually work (!)<p>I'm going to guess because the ABI says they are passed in int and floating point registers, so the actual order they appear doesn't matter?