1with Ada.unchecked_conversion;
2
3package Validity_Check2_Pkg is
4
5  type Op_Code is (One, Two, Three, Four);
6
7  subtype Valid_Msg is Integer range 0 .. 15;
8
9  function Op_Code_To_Msg is
10    new Ada.Unchecked_Conversion (Source => Op_code, Target => Valid_Msg);
11
12  type Rec is record
13    Code : Op_Code;
14  end record;
15
16end Validity_Check2_Pkg;
17