Symbol: __kcsan_scoped_name