#ifndef DEBUG_H
#define DEBUG_H
void _dbg_hungup(const char* file, int lineNum);
void Reset(void);
#endif