36a37,38
> using namespace std;
>
46c48
< extern std::ostream *debug_cout_ptr;
---
> extern ostream *debug_cout_ptr;