Constant VDM_MAXIMUM_SUPPORTED_EXTENSION

pub const VDM_MAXIMUM_SUPPORTED_EXTENSION: u32 = 512u32;