PROGRAM HALTING; BEGIN HALT('STRING7'); END.