#include "debug.h"

debug_ostream debug_cout;