Debugging a Program With dbx