[back] [prev] [next] [index] [root]
i := FFEltToInt(b);
b
i
<- back[back] [prev] [next] [index] [root]