printf working