1
search default_parameter (t_default_parameter.gen, x, used);
2
search default_parameter (t_default_parameter.gen, y, used);
3
search default_parameter (t_default_parameter.gen, x, not used);
4
search default_parameter (t_default_parameter.gen, y, not used);
6
# Commented out because of GNAT bug:
7
#search default_parameter (t_default_parameter.proc, x, used);
8
#search default_parameter (t_default_parameter.proc, y, used);
9
#search default_parameter (t_default_parameter.proc, x, not used);
10
#search default_parameter (t_default_parameter.proc, y, not used);