Fixing over-constrained $malloc in "reuse" model.