Symbol: constant_time_eq_8_s