The identifier END has two separate uses.
1) Its use in a BEGIN… END bracket has been discussed in connection with compound statements.
2) Files to be read using IN should end with an extra END; command. The reason for this is explained in the section on the IN command. This use of END does not allow an immediately preceding END (such as the END of a procedure definition), so we advise using ;END; there.