Sun Jul 24 23:08:56 EDT 2005 rsc
    There is no way this patch is right.  
    
    	while(++s != NULL)
    
    is only ever going to be false when s==(void*)~0. 
    Good luck with that.