K 10 svn:author V 7 wollman K 8 svn:date V 27 1994-09-19T22:24:31.000000Z K 7 svn:log V 106 Put back missing .text before swi_net. This could probably be made faster; I invite Bruce to look at it. END