Do not use printf() directly but use new wrapper function log_printf() instead.