Macro zipora_verify_aligned 

macro_rules! zipora_verify_aligned {
    ($ptr:expr, $align:expr) => { ... };
    ($size:expr, $align:expr) => { ... };
}

Alignment verification for memory operations