minimal printf