@include <slimns.cqct>
@include <snapas.cqct>
@include <heapstat.cqct>

@define dostat(ns, as)
{
	@local dom, s;
//	as = mkcas(as);
	dom = mkdom(ns, as);
	codestat(dom);
//	s = casstat();
//	printf("cas: hit=%u, miss=%u, span=%u\n", s[0], s[1], s[2]);
}