pub const DEBUG_EXECUTE_USER_TYPED: u32 = 8u32;