mini-printf