1package FRUnaligned1 is 2 type r is array (1 .. 72) of Boolean; 3 pragma Pack (r); 4 type s is record 5 x : Boolean; 6 y : r; 7 end record; 8 for s use record 9 x at 0 range 0 .. 0; 10 y at 0 range 1 .. 72; 11 end record; 12end FRUnaligned1; 13