static S lowerCaseLetter(int i) {
  ret str('a' + (char) (i-1));
}