The label s is the label of an executable statement or a FORMAT statement.
The statement label must be the label of a statement that is defined in the same program unit as the ASSIGN statement.
The integer variable i, once assigned a statement label, can be reassigned the same statement label, a different label, or an integer. It can not be declared INTEGER*2.
After assigning a statement label to a variable, you can reference it in:
An assigned GO TO statement
An input/output statement, as a format identifier