Symbol: kcsan_value_change