get_single_rep_val
inst->cur_istate = get_single_rep_val(inst->cur_istate_rep);
inst->next_istate = get_single_rep_val(inst->next_istate_rep);
extern int64_t get_single_rep_val(uu_list_t *);