Symbol: PM_RUN_CYC_SMT2_MODE