Krivine_machine loading ...