svoid philosophyBot1_iotaHandler(PhilosophyBot1 bot) {
  bot.addNativePredicate("iota($x)",
    (map) -> iota(parseInt($x(map)));
}