db_read_token
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
while ((t = db_read_token()) == tCOMMA) {
if (db_read_token() != tRPAREN) {
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
t = db_read_token();
int db_read_token(void);
t = db_read_token();
t = db_read_token();
if (db_read_token() != tEOL) {
t = db_read_token();
t = db_read_token();
t = db_read_token();