builtins.addErrorContext "Hello" (throw "Foo")