Updated token.h