MACH
case MACH:
while ((t = token()) && t != MACH && t != DEFAULT) switch(t) {
{ "machine", MACH },
case MACH:
while ((t = token()) && t != MACH && t != DEFAULT) switch(t) {
{ "machine", MACH },