Maybe read my comment again. I was making a point that the exact machine code output by the compiler isn’t relevant to the argument.