printf: update tests