FIFO, compiled, testcased, not verified
Finished FIFO