static int countTokens(S s) {
  ret l(javaTokC(s));
}

static int countTokens(LS tok) {
  ret l(tok)/2;
}