Ian Eslick - Probe: Program Traces as First Class State