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