The text 824fe81ff5de, as Debian 6.0 (Squeeze) shipped it.
thread::id
std::thread_id(3cxx) on Linux now
