And their code example doesn't actually return a value!
For main it's explicitly allowed by the standard, and no return is equal to return 0
For main it's explicitly allowed by the standard, and no return is equal to return 0