static S ai_replaceBigX(S s, S value) {
  ret join(jreplace_return(javaTok(s), "X", value));
}