I am running FreeRTOS version 8.2.2 and am wondering why there is no function provided to get the count value of a counting semaphore. While I did find a workaround - cast the handle as a queue handle and use uxQueueMessages Waiting() - it seems like having a dedicated function would be worthwhile. Any thoughts?