fixed shift, cast and name for extensions semaphore.