Constant DEBUG_FORMAT_USER_SMALL_MODULE_HEADERS 

pub const DEBUG_FORMAT_USER_SMALL_MODULE_HEADERS: u32 = 32768u32;