[viraptor]

I'm talking about the general idea not specific implementation. Having something happen at function/block exit doesn't mean a runtime configurable behaviour. If you don't have exceptions, it's pretty easy to statically compile that behaviour and guarantee it rather than rely on checks.

[shaded-enmity]

You still need to implement a CI rule so that I don't just call `set_fs()` without using `preferred_syntax(set_fs)`, don't you?

[viraptor]

We're talking a theoretical language here, so... maybe? It could be also that set_fs is usable only in the preferred_syntax mode.