pub const SMT_DEL_FAILED: i64 = _; // -9_223_372_036_854_775_789i64