let pp_closure fmt = function | Mem s ->Format.fprintf fmt "@@%s" s | Alloc s ->Format.fprintf fmt "@@%s" s