#ifndef __READTOK_H
#define __READTOK_H

void tm_init();
void tm_read(char *filename);
char *tm_find(char *);
void tm_print_toks();

void tm_read_block(int eobchar);


#endif