debug_print_int    15 include/debug.h void debug_print_int( char *fmt, int val );
debug_print_int    32 include/debug.h #define DLOG_INT(s,v) debug_print_int(s,v)