This doesn't return, the message will be printed twice.