malloc-TODO
Remove redundant call to underflow_assert().

Still issue #36.
Do not pop unnecessarily.

Still issue #36.