TYPE data_bus IS ARRAY (0 TO 31) OF BIT;
VARIABLE X: data_bus; VARIABLE Y: BIT; Y := X(12); -- Y gets value of 13th element from the left