Ada - Controlled type broken example

Correctly working example

Example 1

Example 2