Is there any definitive info how packed types _should_ work in GPC. The following program: Program BitSz; Var R: packed record aa: packed record c: Boolean; end; a: Boolean; b: 1..3; end (* R *); begin writeln ( ' R.aa:', BitSizeOf ( R.aa ), ' R.aa.c:', BitSizeOf ( R.aa.c), ' R.a:', BitSizeOf ( R.a ), ' R.b:', BitSizeOf ( R.b ), ' R:', BitSizeOf ( R )); end. writes: R.aa:8 R.aa.c:1 R.a:1 R.b:2 R:16 which shows that packed records inside packed records currently (with gpc 2.1) take the same space as outside. -- Waldek Hebisch hebisch@math.uni.wroc.pl or hebisch@hera.math.uni.wroc.pl