@MAINというラベルはないので、GOTO @WHILEに変更しないとダメ