let unlock shared (id, scope) =
    (get_scoped shared scope).unlock id