* now stays in fetch mode and just flips buffers, if current FIFO
  is empty
* empty checks more aggressive: now checks if FIFO will be empty
  in the next cycle to mask the state transition