Standard vs FIFO Queues for Order Semantics