/* $Id: util_socket.mi,v 8.7 1997/10/27 11:55:22 ksb Exp $ */ %extern void %K1v()%;