Constant UDF_SUPER_MAGIC 

pub const UDF_SUPER_MAGIC: u32 = 352400198;