record debugged version
record debugged version