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