1-- { dg-do compile }
2
3with System;
4
5package Size_Clause4 is
6
7  type Rec is record
8    A1 : System.Address;
9    A2 : System.Address;
10    I  : aliased Integer;
11  end record;
12
13  for Rec use record
14    A1 at 0  range 0 .. 63;
15    A2 at 8  range 0 .. 63;
16    I  at 16 range 0 .. 31;
17  end record;
18  for Rec'Size use 160;
19
20end Size_Clause4;
21