let mult_const a = MConst.map (fun i -> i * a)