pub const DEBUG_VALUE_INT32: u32 = 3u32;