A proposal to add GC-less, unmanaged memory spaces to C#