quick question

["mop" <mop65715@pegasus.cc.ucf.edu>]

I have something along these lines

Data : SomeType is  ( word1 => (x.a => 1,
                                                        x.b => Normal),
                                    --etc
                                      word8.checksum => Compute_Checksum);

Compute_Checksum here is a procedure that does a "straight" sum on the
bytes.  Dont care about overflow.   So now i need to take whatever value
compute_checksum returns and "pack" in word8.checksum.

I'm thinking that all i need to do is create some sort of array such that:

    type SomeType_Array is array (SomeType) of BYTE;

Trouble is is I'm hearing I need to do some sort of Unchecked Conversion
because of words like "Normal" which is not an integer or real, etc?  Is
this true, If yes how to do this.  Here is procedure Compute_Checksum

procedure Compute_Checksum is
       Checksum  : BYTE : = 0;
begin
      for i in SomeType_Array'First .. SomeType_Array'Last -1 loop
             Checksum :=  Checksum + SomeType_Array (i);
      end loop
     word8.checksum := Checksum;
end procedure Compute_Checksum;