/* #define DEBUG */
#ifdef DEBUG 
#define debug kprintf 
#else
#define debug dummy
static inline void dummy( valist ) {} 
#endif