SEMATTRS_HTTP_USER_AGENT: string = ...