adding printf