"pseudo-device", PSEUDO_DEVICE, "flags", FLAGS, "trace", TRACE,
"disk", DISK, "tape", DEVICE, "slave", SLAVE, "at", AT,
"hz", HZ, "timezone", TIMEZONE, "dst", DST, "maxusers", MAXUSERS,
"pseudo-device", PSEUDO_DEVICE, "flags", FLAGS, "trace", TRACE,
"disk", DISK, "tape", DEVICE, "slave", SLAVE, "at", AT,
"hz", HZ, "timezone", TIMEZONE, "dst", DST, "maxusers", MAXUSERS,
^#.* { /* Ignored (comment) */; }
[ \t]* { /* Ignored (white space) */; }
";" { return SEMICOLON; }
^#.* { /* Ignored (comment) */; }
[ \t]* { /* Ignored (white space) */; }
";" { return SEMICOLON; }