/* * printf: print a message to the console and the log */