Constant VDM_MAXIMUM_SUPPORTED_EXTENSION 

pub const VDM_MAXIMUM_SUPPORTED_EXTENSION: u32 = 512u32;