* alloc.c (bytes_used_when_full, SPARE_MEMORY, BYTES_USED):