structure Socket = Pervasive.Socket