Sometimes only printf-debugging can save the day.