Describir: A System for Modelling and Visualizing Processor State During Code Execution