5cfbe23b5c
TCP and UDP get_sock_opt/set_sock_opt had duplicate match arms due to constant collisions (Linux-level values share namespace): TCP: TCP_MAXSEG=2, IP_TTL=2, SO_REUSEADDR=2 → kept TCP_MAXSEG UDP: IP_TTL=2, SO_REUSEADDR=2 → kept IP_TTL (more useful) Removed unreachable arms with explanatory comments. The collision is inherent — Linux uses different option levels (SOL_SOCKET vs IPPROTO_TCP vs IPPROTO_IP) but Redox scheme has a flat namespace. Applications that use multi-level getsockopt() would need richer level dispatching.