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