Edit File: mitigate_smt_rsb