static LS tok_splitAtDoubleArrow(S s) {
  ret splitAtDoubleArrow(javaTokWithBrackets(s));
}