inst-select-extract.mir 8.64 KB