6.12.3. Arrangement a0c0