while (TURE)
{
switch (next_token())
{
case ID;
case READ;
case WRITE;
statement();
break;
default:
return;
}
}
}