workStealing :: Config ()
workStealing = Config {
                 cTypes = [mInt, mPid (pvar "x"), mTT]
               , cSets = []
               , cUnfold = [Conc (S "ps") 1]
               , cProcs = [(tpid0, proc_0)
                          ,(tpid1, proc_1)
                          ,(tpid2, proc_2)]
               }
workStealing :: Config ()
workStealing = Config {
                 cTypes = [mInt, mPid (pvar "x"), mTT]
               , cSets = []
               , cUnfold = [Conc (S "ps") 1]
               , cProcs = [(tpid0, proc_0)
                          ,(tpid1, proc_1)
                          ,(tpid2, proc_2)]
               }
workStealing = Config {
                 cTypes = [mInt, mPid (pvar "x"), mTT]
               , cSets = []
               , cUnfold = [Conc (S "ps") 1]
               , cProcs = [(tpid0, proc_0)
                          ,(tpid1, proc_1)
                          ,(tpid2, proc_2)]
               }