[disassembler.py] Add user symbols.