Nondeterministic_machine loading ...