no errors for simple semaphore test when verifying with spin