/* * printf_nolog: Like printf(), but does not send message to the log. */