pub const VDM_MAXIMUM_SUPPORTED_EXTENSION: u32 = 512u32;