P-code_machine loading ...