17.1.2. Extension a0c0