Even better: just use panic() for now.