Understanding and Debugging OS161