initMM :: Module        -- module name, which we may consult
       -> MassageM a
       -> (CollectedCCs, a)

initMM mod_name (MassageM m) = m mod_name ([],[],[])
initMM :: Module        -- module name, which we may consult
       -> MassageM a
       -> (CollectedCCs, a)
initMM mod_name (MassageM m) = m mod_name ([],[],[])
initMM mod_name (MassageM m) = m mod_name ([],[],[])