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