pub fn shrink(m: &mut Module)