Name non-null control is in semaphore.pl now