Special care is taken (using a global array of messages...) to ensure that the message is not printed twice...