Pick a different name to prevent name pollution

* The spec context introduces additional bindings which make tests pass but
* fail in the real world

[#80393104]