static PairS tok_splitAtDoubleArrow_pair(S s) {
  ret splitAtDoubleArrow_pair(s);
}



static PairS tok_splitAtDoubleArrow_pair(LS tok) {
  ret splitAtDoubleArrow_pair(tok);
}