Attribute Bit_Position (GNAT Reference Manual)

### 4.7 Attribute Bit_Position ¶

`R.C'Bit_Position`, where `R` is a record object and `C` is one of the fields of the record type, yields the bit offset within the record contains the first bit of storage allocated for the object. The value of this attribute is of the type ‘universal_integer’. The value depends only on the field `C` and is independent of the alignment of the containing record `R`.