public Object peek() { return RT.first(f); }
public Object nextElement() { Object ret = RT.first(seq); seq = RT.next(seq); return ret; }