Added a temporary hack for displaying register values symbolically.