sS stringFromFunction(int length, IF1_IntToChar f) {
  char[] chars = new[length];
  for i to length:
    chars[i] = f.get(i);
  ret String.valueOf(chars);
}