please include function readLine.

static readLinePrintPrefix() {
  ret readLine_prefix;
}