Maybe they just checked with a compiler and got the same code?