Change the way -DDEBUG affects mem_alloc_tiny(). The outcome is practically
the same but this is cleaner.