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