| package body Opt100_Pkg is | |
| function Func (R : Rec) return Integer is | |
| begin | |
| if R in Small_Rec then | |
| case R.K is | |
| when A => return 0; | |
| when B => return 1; | |
| when C => return 2; | |
| when others => raise Program_Error; | |
| end case; | |
| else | |
| return -1; | |
| end if; | |
| end; | |
| end Opt100_Pkg; |