extract t_index
implement X.value.gen