Symbol: add_kcsan_stack_depth