sclass HasIndex {
  int idx;
}