tiny but for printf