Text this: Abstracting Abstract Machines.