Also it seems this can just be an int since it is always protected by the parent monitor instance.