header file for debug.c