Format Token.h