pub const SGI_EXTRASPACE: u32 = 0u32;