Btw, I think you should add @noalloc also which prevents both new and malloc. It would be useful for real time callbacks, interrupt handlers etc.
Not practical. malloc() is only one way of allocating memory - user defined custom allocators are commonplace.
