Socket Initialization #
This module automatically initializes the socket environment, and users need not care about it. To initialization the environment, two steps are required:
- Register external classes like 
SocketandSockAddr - Call platform specific startup code.
 - Register platform specific cleanup code.
 
@[extern  lean_socket_initialize]
The initialization function. Users shouldn't call this.