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