Fix another potential problem with -DDEBUG vs. mem_alloc_tiny().