void contended_enter() { check_and_reset_count(); _contended_enter_count++; }
void monitor_wait() { check_and_reset_count(); _monitor_wait_count++; }
void thread_sleep() { check_and_reset_count(); _sleep_count++; }