Zeno_machine loading ...