(What's a good way to panic and flush stdout.)