#ifndef __get_tok_name_h__
#define __get_tok_name_h__

char *get_tok_name(int);

#endif