Constant THREADMEM_SMALL_DEF_MB 

pub const THREADMEM_SMALL_DEF_MB: u32 = 20;