[[As of 8.4, add "-DPURIFY" to CFLAGS to change core allocation
from pool- to single-object-allocation.  tclguy might change the
label someday.]]