This method destroys the RiCOSSemaphore object.
void RiCOSSemaphore_destroy (RiCOSSemaphore *const me);
me
The RiCOSSemaphore object to destroy
void RiCOSSemaphore_destroy(RiCOSSemaphore * const me)
{
if (me == NULL) return;
RiCOSSemaphore_cleanup(me);
free(me);
}