UnixLabels.access
Unix.getaddrinfo
'a
Unix.getnameinfo
Core_unix.lockf
UnixLabels.recv
UnixLabels.recvfrom
UnixLabels.send
UnixLabels.sendto
never_returns
_
UnixLabels.openfile
UnixLabels.lseek
shutdown
UnixLabels.getsockopt
UnixLabels.setsockopt
UnixLabels.getsockopt_float
UnixLabels.setsockopt_float
UnixLabels.getsockopt_int
UnixLabels.setsockopt_int
UnixLabels.getsockopt_optint
UnixLabels.setsockopt_optint
UnixLabels.stat
'b
services
protocols
hosts