Function cons_step 

pub fn cons_step<const G: usize, const P: usize>(
    i: ConsIn<G, P>,
    r: ConsState<G, P>,
) -> (ConsOut<G, P>, ConsState<G, P>)

One cycle of the normal case.