static CharRange singletonCharRange(char c) {
  ret CharRange(c, c);
}