writeln() wrapper around printf()