let get_array_length ctype =
    match ctype with
      | TArray (_t, Some {enode = Const sz}, _, _) ->
          begin
            match Ast_info.possible_value_of_integral_const sz with
              | Some  sz_int64 ->
                  let sz = Int64.to_string sz_int64 in
                  let sz = D.F.e_icst sz in
                    Some sz
              | _ -> None
          end
      | _ -> None