Cleaned up some code in printf builtin