let next_exn = next