More printf tests