extern void	    *xalloc();