Constant SMINIT_TOPLEVEL 

pub const SMINIT_TOPLEVEL: u32 = 4u32;