static PairS ai_splitAtFirstDoubleArrow(S s) {
  ret splitAtFirstDoubleArrow(javaTokWithBrackets(s));
}