Seems similar to what ocamldebug does in ocaml (which itself was copied from the SML debugger).