#ifndef __DEBUGGING_H__
#define __DEBUGGING_H__

void enable_debugging();

#endif