many bugs eliminated. still issue with priority-donate-multiple2