The standard include std/socket.e is missing the following protocols:
IPPROTO_IP
IPPROTO_TCP
IPPROTO_UDP
See "man 7 ip" on Linux for a list of IP protocol options.
The windows list is here
The following IP options are for multicast UDP:
IP_ADD_MEMBERSHIP
IP_ADD_SOURCE_MEMBERSHIP
IP_BLOCK_SOURCE
IP_DROP_MEMBERSHIP
IP_DROP_SOURCE_MEMBERSHIP
IP_MULTICAST_ALL
IP_MULTICAST_IF
IP_MULTICAST_LOOP
IP_MULTICAST_TTL
All IP options would be nice to have, but I'd like to see at least the multicast ones.