[Ada] Fix composability of return on the secondary stack