This method destroys the RiCOSTimer object.
void RiCOSTimer_destroy (RiCOSTimer *const me);
me
The RiCOSTimer object to destroy
void RiCOSTimer_destroy(RiCOSTimer * const me)
{
if (me == NULL) return;
RiCOSTimer_cleanup(me);
free(me);
}