> It would be possible and quite easy ... Override malloc so that it counts > allocations and use -d:useMalloc is one option, for example.
Interesting, I could see how maintaining some effects could become tedious. For this case wouldn't implementing a test on every bit of no-alloca code be more work than just having `alloc0/alloc/...` implement an `allocates` effect and checking for it? I'll have to look into overloading malloc. Though I do find dealing with `gcsafe` to become pretty annoying, but mainly because I need to do the whole `{.cast(gcsafe).}:` block thing.