Delete 2013-11-17-printf-and-type-inference