stupid printf