295,296c295
<   //TORLAB DEBUG original __max_int_t __temp = __x;
<   __max_int_t __tempint = __x; // TORLAB DEBUG, rename __temp to __tempint
---
>   __max_int_t __temp = __x;
300,301c299
<   // TORLAB DEBUG original if (__negative) __temp = -__temp;
<   if (__negative) __tempint = -__tempint; //TORLAB DEBUG rename __temp to __tempint
---
>   if (__negative) __temp = -__temp;
303,306c301,302
<   //TORLAB DEBUG original for (; __temp != 0; __temp /= 10)
<   //TORLAB DEBUG original *--__ptr = (int)(__temp % 10) + '0';	  
<   for (; __tempint != 0; __tempint /= 10) //TORLAB DEBUG rename __temp to __tempint
<     *--__ptr = (int)(__tempint % 10) + '0'; //TORLAB DEBUG rename __temp to __tempint
---
>   for (; __temp != 0; __temp /= 10)
>     *--__ptr = (int)(__temp % 10) + '0';	  
439,441c435
<   //TORLAB original basic_string<_CharT> __str = __val ? __np.truename() : __np.falsename();
<   basic_string<_CharT, char_traits<_CharT>, allocator<_CharT> > __str = __val ? __np.truename() : __np.falsename(); //TORLAB DEBUG add arguments
< 
---
>   basic_string<_CharT> __str = __val ? __np.truename() : __np.falsename();
