pub const DEBUG_CES_ASSEMBLY_OPTIONS: u32 = 4096u32;