#include <stdarg.h>

#ifdef dodebug 
      
  int inline debug(const char *fmt, ...) {
        va_list ap;
        int i;

        va_start(ap, fmt);
        i = vfprintf(stdout, fmt, ap);
        va_end(ap);

        return i;
  }

#else
  void inline debug(const char *format, ...) {  
    return;
  }
#endif
