static int numLines(S s) {
  ret countLines(s);
}