https://www.vxworks6.com/app/debugging-vxworks-semaphores/