Added a new printf command