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
    | _ -> ()