non-b printf