string readString() {
  /* TODO */
}

string readLine() {
  /* TODO */
}

int parseInt(string s) {
  /* TODO */
}

int fillIntArray(int[] a, int v) {
  int i;
 
  for (i = 0; i < a.length; i = i+1) {
    a[i] = v;
  }
}