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