/* Copy results into an RIA. */
SixModelObject BOOTIntArray = tc.gc.BOOTIntArray;
SixModelObject fateRes = BOOTIntArray.st.REPR.allocate(tc, BOOTIntArray.st);
for (int i = 0; i < fates.length; i++) {
tc.native_i = fates[i];
fateRes.bind_pos_native(tc, i);
}
return fateRes;
}
public static SixModelObject nfarunalt(SixModelObject nfa, String target, long pos,