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