let pp_closure fmt = function
| Mclos cl -> M.pp_closure fmt cl
| Fclos(k,ap,vinfo) ->
if ap then
(* array *)
Format.fprintf fmt "value of %s%t"
vinfo.vname (* C-original name *)
(fun fmt -> for i=1 to k do Format.pp_print_string fmt "[]" done)
else
(* ref. *)
Format.fprintf fmt "value of %s%s"
(String.make k '*') vinfo.vname