int main(int argc, char **argv) {
	    extern void socket();
	    socket();
	}