pub fn _seed_client_attacker12( server: AgentName, ) -> (Trace<TLSProtocolTypes>, Term<TLSProtocolTypes>)