Extracted code now uses `List.nth_opt` instead of `nth`. Also changed to unsafely convert from `Z.t` to ocaml int. This is bad and doesn't work in general.
