tEOL
if (db_read_token() != tEOL)
} while (t != tEOL);
if (t == tEOL) {
return (tEOL);
if (db_read_token() != tEOL)
if (t == tEOL) {
if (db_read_token() != tEOL) {
if (t == tEOL) {
if (db_read_token() != tEOL)
if (t != tEOL) {
while (t != tEOL) {
if (t == tEOL)