Random access iterator is a refinement of Input iterator and much more, partial implementation of Input iterator in file argsv/arg_iter.hh