UnixLabels.access
Unix.getaddrinfo
Unix.getnameinfo
groups
hosts
Unix.lockf
UnixLabels.recv
UnixLabels.recvfrom
UnixLabels.send
UnixLabels.sendto
never_returns
'a
_
UnixLabels.openfile
passwd
protocols
UnixLabels.lseek
services
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
UnixLabels.waitpid