i think that works, yes. Is there any particular preference between `mem::init` and `mem::uninit`? I had `uninit` in there before for the fields but shied away from it to reduce any non-determinism. Assuming this has no bugs then it indeed shouldn't make a difference.