static S ai_bigXToDollarX(S s) {
  ret join(jreplace("X", "$X", javaTok(s));
}