fix debug() in print.c