Make sure all unsafe calls in Default implementation explains that the zeroed variant of the struct is valid