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