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

	▲	direwolf20 22 minutes ago \| parent \| next [-]
		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.
	▲	GrowingSideways 4 hours ago \| parent \| prev [-]
		[dead]