K 10 svn:author V 5 peter K 8 svn:date V 27 2001-06-15T07:33:09.000000Z K 7 svn:log V 66 Fix warning: 848: warning: label `nosupport' defined but not used END