Looks like they are showcasing the output of the compiler, not the hand written SQL.