pub const VERIFY_TOP_DIAGNOSTIC_RESULT_CURSOR: u128 = _; // 32u128
Result cursor was outside 0..=2.
0..=2