[Bordeaux-threads-devel] Is there a multi-implementation way to get a timeout on condition-notify?