6.17.3. Arrangement a0c0