get_array_size_bytes_max
bytes = get_array_size_bytes_max(arg);
has = get_array_size_bytes_max(dest);
struct_bytes = get_array_size_bytes_max(deref);
int get_array_size_bytes_max(struct expression *expr);
return bytes_to_elements(expr, get_array_size_bytes_max(expr));
max = get_array_size_bytes_max(str);