Re: KKCC markings in alloc.c