Describir: To Catch a Failure: The Record-and-Replay Approach to Debugging.