4.2. Checking procedure a0c0