4.2.7. Procedure a0c0