Print.h header Token.h for consistency