srecord ExpectContainsOnce_string(S s) extends Expecter {
  bool check(O o) {
    ret o instanceof S && containsOnce((S) o, s);
  }
}