Symbol: kcsan_check_access