use mkSF_ instead of mkPure_
produce launch event stream