}
/* NFA operations. */
public static SixModelObject nfafromstatelist(SixModelObject states, SixModelObject nfaType, ThreadContext tc) {
/* Create NFA object. */
NFAInstance nfa = (NFAInstance)nfaType.st.REPR.allocate(tc, nfaType.st);
/* The first state entry is the fates list. */
nfa.fates = states.at_pos_boxed(tc, 0);
/* Go over the rest and convert to the NFA. */