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