More printf 6219