2.3.2. Procedure a0c0