6.13.3. Arrangement a0c0