#ifndef __DEBUG_H
#define __DEBUG_H

void gdb_debug(void);

#endif