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