printf for cmdline