static CharacterClassIterator characterClassIteratorFromMiniRegexp_v1(S regexp) {
  int l = l(regexp);
  for (int i = 0; i < l; i++) {
    if (
  }
  ret new stringToCharacterClassIterator_C(s);
}