pub const EXTENSIONS: u32 = 0x8000; // 32_768u32
The first id of the extension sections, which are always written optional.