DEL: debug & repeated symbols