let rec pp_dim fmt = function
  | TArray (typ_elt,lo,_,_) ->
      (match lo with
         | Some lo ->
             Format.fprintf fmt "[%a]" !Ast_printer.d_exp lo
         | None ->
             Format.fprintf fmt "[]"); pp_dim fmt typ_elt
  | _ -> ()