get rid of token.h