Symbol: constant_time_eq_8