Update tokens.h