Re: [seL4] How to write safe C code for free?