Mitigation: untrained return thunk; SMT vulnerable
