void debug(char *format,...);
 void debug0(char *format,...);
 void enter(char *format,...);
 void leave(char *format,...);