pub const SMT_PUT_FAILED: i64 = _; // -9_223_372_036_854_775_790i64