refinements to unsafe code

[folkertdev]

among other things

• the Init and GetHeader functions now assume that their arguments are properly initialized in the rust sense. Providing uninitialized memory to these functions is UB, though unlikely to actually cause issues across an FFI boundary