added debug in printf