Symbol: kcsan_check_read