Methods and apparatus for deployment of high integrity software using static procedure return addresses