3 procedure Rep_Clause4
is
5 type U32
is mod 2 ** 32;
12 type Key_Buffer
is record
21 Keys
at 0 range 0 .. 103;
22 Stamp
at 13 range 0 .. 31;
26 My_Stamp
: constant := 16#
01234567#
;
29 My_Block
.Stamp
:= My_Stamp
;
30 My_Block
.Keys
.Latch
:= My_Block
.Keys
.Current
;
31 if My_Block
.Stamp
/= My_Stamp
then