let doGuard _ _ _ = Dataflow.GDefault