Function record_semaphore_acquire_unblocked 

pub fn record_semaphore_acquire_unblocked(
    _object_id: ObjectId,
    _unblocked_task_id: TaskId,
    _num_permits: usize,
)