sS tok_whitespaceContainsJavaComments(S s) {
  int l = l(s)-1, j = 0;
  for j to l:
    if (s.charAt(j) == '/') {
      char d = charAt(j+1);
      if (d == '*' || d == '/') true;
    }
  false;
}