optional symbol dump