static PairS tok_splitAtColonEquals_pair(S s) {
  ret listToPair(tok_splitAtColonEquals(s));
}