おまけに size_of と #[allow()] のことを書いた