with-shadowed-bindings