[Bordeaux-threads-devel] send/receive message api