An unsorted symbol table is useless. Just get rid of the option.
Also, change MAXHEX to 16 from 32. Maybe it will be a tunable in the future.