3.3. Verification: a0c0