"handle" named registers with desymbolify.py (for now)