diff --git a/snark/src/lib.rs b/snark/src/lib.rs index cf7d559..eac5acd 100644 --- a/snark/src/lib.rs +++ b/snark/src/lib.rs @@ -52,8 +52,14 @@ lazy_static! { /// This must be called before anything in this module is used. pub fn initialize() { + use std::mem::align_of; let mut l = INIT_LOCK.lock().unwrap(); + assert_eq!(align_of::(), align_of::()); + assert_eq!(align_of::(), align_of::()); + assert_eq!(align_of::(), align_of::()); + assert_eq!(align_of::(), align_of::()); + if !*l { unsafe { libsnarkwrap_init(); } *l = true;