let funcExitData = VS.empty