an interface to the Berkeley socket functions for Pure
