Update to FIFO.v