Ada Programming/Keywords/return