sS philosophyBot_varsToStars(PhilosophyBot1 bot, S s, LS varNames_out) {
  ret arbitraryVarsToStars(s, philosophyBot_varSet(bot), varNames_out);
}