Symbol: dfn_pre_visit