On Sat, Aug 14, 1999 at 01:07:44AM +0200, Johan Danielsson wrote:

> `why doesn't free(3) take a const void*?')

I've been told: because it destroys contents refered to by the pointer.
-- 
 * Progress (n.): The process through which Usenet has evolved from
   smart people in front of dumb terminals to dumb people in front of
   smart terminals.  -- obs@burnout.demon.co.uk (obscurity)