static S[] stringArrayCountFrom1ToN(int n) {
  S[] a = new S[n];
  for i to n:
    a[i] = str(i+1);
  ret a;
}