arg_type_is_mem_size
is_next_size = arg_type_is_mem_size(fn->arg_type[arg + 1]);
if (arg_type_is_mem_size(fn->arg1_type) ||