あと WHILE AAA=BBB は WHILE 1 に書き換えられます