sclass StringPlusInt(S s, int i) {
  S a;
  int b;
  
  *() {}
  *(S *a, int *b) {}
  
  public bool equals(O o) {
    ret o instanceof StringPlusInt
      && i == o/StringPlusInt.i
      && eq(s, o/StringPlusInt.s);
  }
  
  public int hashCode() {
    ret _hashCode(s)+i;
  }
}