@danderson This is one of my grumbles with modern systems languages... their memory models are often frustratingly at odds with being able to do what you want to do in a kernel environment. Migrating to C++ in Fuchsia's kernel caused a pile of headaches because of this.