removed bad function. simplified signature of of_socket
proper names to monitors