prog: null_socket