1-- { dg-do run } 2with GNAT.Sockets; 3procedure Socket2 is 4 Address : GNAT.Sockets.Sock_Addr_Type; 5 Server_Socket : GNAT.Sockets.Socket_Type; 6begin 7 Address.Addr := GNAT.Sockets.Any_Inet_Addr; 8 Address.Port := 16#1234#; 9 GNAT.Sockets.Create_Socket (Server_Socket); 10 GNAT.Sockets.Set_Socket_Option 11 (Server_Socket, 12 GNAT.Sockets.Socket_Level, 13 (GNAT.Sockets.Reuse_Address, True)); 14 GNAT.Sockets.Bind_Socket (Server_Socket, Address); 15 GNAT.Sockets.Close_Socket (Server_Socket); 16end Socket2; 17