let pp_closure fmt  = function
    | Mem ->Format.fprintf fmt "memory store"
    | Alloc ->Format.fprintf fmt "allocation table"