WITH-MANY-ALLOC .. _actually_ push this, apparently