fig1

The primary block corresponds exactly to the block of the Algol-like program and is entered to perform the desired operation.

The acceptance test is executed on exit from the primary block to confirm that the primary block has performed acceptably.

If the primary block is detected to be in error, the alternate block is entered and is required to perform the desired operation in a different way. The acceptance test is then repeated.