Mmmm... Tasty print_token function