pub const EXT_MEMORY_BUDGET_SPEC_VERSION: u32 = 1u32;