srecord ListAndIndex(L<A> list, int idx) {
  bool atEnd() { ret idx >= l(list); }
}