in CCL,SBCL don't use bt-semaphore. both use semaphore of there.