Fix wp_alloc when applying twp_allocN
The bug manifests as wp_alloc l as "H"
always resulting in an error l is not fresh
(because intros l
was failing).
The bug manifests as wp_alloc l as "H"
always resulting in an error l is not fresh
(because intros l
was failing).