Added "pico_count_sockets()"