Mark panic() as no-return.