static S ai_replaceBigY(S s, S value) {
  ret join(jreplace_return(javaTok(s), "Y", value));
}