K 10 svn:author V 5 peter K 8 svn:date V 27 1997-09-08T00:25:05.000000Z K 7 svn:log V 56 Add missing redirection for _inside_intr -> inside_intr END