pub const SPINST_PROPERTIES: u32 = 1024u32;