587=588=589だが、もまいらの処理系ではどんな結果になる?