pub const Z3FOLD_MAGIC: u32 = 51;