Explicit free list allocator with next-fit placement, LIFO, coalescing, and block splitting without creating splinters.