K 10 svn:author V 3 rse K 8 svn:date V 27 2007-02-04T20:07:07.000000Z K 7 svn:log V 89 cleanup code: remove unnecessary and useless void cast from void-function skip_string(). END