An error message from a real program: