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