K 10 svn:author V 3 phk K 8 svn:date V 27 2003-08-15T15:50:49.000000Z K 7 svn:log V 64 remove acquire_timer0() and release_timer0() and related stuff. END