simplify "history" using printf