srecord ExpectElementAtIndex(int index, O element) extends Expecter {
  bool check(O o) {
    ret o instanceof L && eqGet((L) o, index, element);
  }
}