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