For main it's explicitly allowed by the standard, and no return is equal to return 0
which is super weird. If they can tell the compiler to allow no return, only for main, they can also tell it to pretend void return is int return of 0, only for main.