Parallel_random_access_machine loading ...