Symbol: di_leavesub