A bounded FIFO queue