sS stringFromRepF(IF0<Char> f, int n) {
  char[] buf = new char[n];
  for i to n:
    buf[i] = f!;
  ret str(buf);
}