Use the noreturn annotation for better compiler diagnostics.