Arista Networks' net-snmp patches