Simpler token printing