Unused
StreamFSM