check_token spec