Mitigation: untrained return thunk; SMT disabled