Tests of operational integrity should be included in an exit program. For example, if the program contains table-specific code, then it cannot be expected to handle data from some other table.
An essential integrity rule is that the table name in the call T-TBLX-TABLE must match the one the program was designed for. It should test this and quit if the test fails rather than continue, and possibly wreak havoc, with mismatched code and data. To quit, it could either branch to INVALID-CALL or to a user routine which sets up a message with message type E then goes to NORMAL-EXIT. The latter method is preferable since it provides better messages.