Daniel Jacobowitz' update to Michael Snyder's reverse debugging patches