printf-debugging messages (#128)