#ifndef DEBUGGER_H__
#define DEBUGGER_H__

extern void d_printf(char *String, ...);

#endif