please include function readLine.

static void readLinePrefix(S s) {
  readLine_prefix = s;
}