semaphore.fs simplified even more but still not done!