i must be assigned by an ASSIGN statement in the same program unit as the GO TO statement.
i must be INTEGER*4 or INTEGER*8, not INTEGER*2.
s must be in the same program unit as the GO TO statement.
The same statement label can appear more than once in a GO TO statement.
The statement control jumps to must be executable, not DATA, ENTRY, FORMAT, or INCLUDE.
Control cannot jump into a DO, IF, ELSE IF, or ELSE block from outside the block.