K 10 svn:author V 5 luigi K 8 svn:date V 27 2010-01-18T21:00:29.501582Z K 7 svn:log V 51 it is correct to call dn_dequeue on an empty queue END