Defined function CATCH to be called when a CATCH tag is established.