[Bordeaux-threads-devel] the way sb-thread:get-mutex is called