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