Also, note that the goto statement in Ada is considered safer than in other languages, since it doesn't allow you to transfer control in certain conditions where the control structure is susceptible to be broken.

Because the use of a goto requires the declaration of a label, it can be considered as readable as the use of return. So if readability is a concern instead of a strict programming rule such as "don't use goto", then it is possible to consider the use of goto than multiple return statements. Although, it is best to use the structured approach whenever possible, where neither goto nor multiple returns are needed, for instance: