pub fn _seed_server_attacker12( client: AgentName, ) -> (Trace<TLSProtocolTypes>, Term<TLSProtocolTypes>)