Mark panic() as noreturn, to avoid spurious compiler complaints.