Random-access_machine loading ...