Describir: Abstracting Abstract Machines.