lock/sema header