t_default_parameter.adb:9:4: Found: DEFAULT_PARAMETER: non default use of formal "X"
t_default_parameter.adb:9:4: Found: DEFAULT_PARAMETER: default use of formal "Y"
t_default_parameter.adb:12:7: Found: DEFAULT_PARAMETER: non default use of formal "X"
t_default_parameter.adb:12:7: Found: DEFAULT_PARAMETER: default use of formal "Y"
