Fifo with Contract