SV**	xav_alloc;	/* pointer to beginning of C array of SVs */