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