Minor null check, don't use stdxxx.printf within Valama.