Abstract_machine loading ...