PrrtReceive_ordered_wait is not correct