dbug sync points inside monitors