For a mult-threaded user programme, there is a potential for two threads which concurrently attempt to allocate a message buffer via the rmr_alloc_msg() fumction to crash. It is possible for the free pool not to be properly locked when allocating a new buffer.