62c62
< extern std::ostream* debug_cout_ptr;
---
> using namespace std;
63a64,65
> extern ostream* debug_cout_ptr;
>