Constant ZX_VM_ALIGN_16KB 

pub const ZX_VM_ALIGN_16KB: u32 = _ /* 234_881_024u32 */;