Back

stage1ShutdownProp:
	forall[s:Stage1].{Stage1.run.stage1Shutdown(s)} responds to {PipeInt.main.c1StopCall} globally;