sprint_symbol(): use less stack