__gnu_debug::Not_equal_to(3) on Linux

The text 1f940ea82d02, as Debian 3.1 (Sarge) shipped it.

__gnu_debug::Not_equal_to(3) on Linux now