[Ada] Secondary stack and a-tags