- MessageSendEvent[] ret_conv_18_arr = new MessageSendEvent[ret.length];
- for (int s = 0; s < ret.length; s++) {
+ Reference.reachabilityFence(this);
+ int ret_conv_18_len = ret.length;
+ MessageSendEvent[] ret_conv_18_arr = new MessageSendEvent[ret_conv_18_len];
+ for (int s = 0; s < ret_conv_18_len; s++) {