Pointer_machine loading ...