6.21.1.3. Optional: a0c0