let
label_at_closure =
function
|
Mem
l
->
l
|
Alloc
l
->
l