assertFifoIndex3.v