. . "catch and throw for three kinds of nonlocal exit." . .