[Bordeaux-threads-devel] bug around unimplemented functions