masterSlave = Config {
                cTypes = [mInt]
              , cSets  = []
              , cUnfold = [Conc (S "ps") 1]
              , cProcs = [(tpid0, Iter (V "pi") (S "ps")
                                  (Recv [(mInt, Skip ())] ()) ())
                         ,(tpid2, Send tpid0 [(mInt, Skip ())] ())]
              }
masterSlave = Config {
                cTypes = [mInt]
              , cSets  = []
              , cUnfold = [Conc (S "ps") 1]
              , cProcs = [(tpid0, Iter (V "pi") (S "ps")
                                  (Recv [(mInt, Skip ())] ()) ())
                         ,(tpid2, Send tpid0 [(mInt, Skip ())] ())]
              }
masterSlave = Config {
                cTypes = [mInt]
              , cSets  = []
              , cUnfold = [Conc (S "ps") 1]
              , cProcs = [(tpid0, Iter (V "pi") (S "ps")
                                  (Recv [(mInt, Skip ())] ()) ())
                         ,(tpid2, Send tpid0 [(mInt, Skip ())] ())]
              }