r22740: Move debug_*_user_token to token_utils.c