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