let
authorized_tokens s = s.authorized_tokens