En Ada, se realizaría así: