479,482c479,480
<     //TORLAB DEBUG original const basic_string<_CharT> __truename  = __np.truename();
<     const basic_string<_CharT, char_traits<_CharT>, allocator<_CharT> > __truename  = __np.truename(); //TORLAB DEBUG add arguments
<     //TORLAB DEBUG original const basic_string<_CharT> __falsename = __np.falsename();
<     const basic_string<_CharT, char_traits<_CharT>, allocator<_CharT> > __falsename = __np.falsename(); //TORLAB DEBUG add arguments
---
>     const basic_string<_CharT> __truename  = __np.truename();
>     const basic_string<_CharT> __falsename = __np.falsename();
