Refinement commit. Program should firstly be loaded into supervisor memory and then parsed into memory.