Empty
StreamFSM