Add an INFO() call to show messages on stdout. It should be used instead of direct printf calls.