Made semaphore_t and adjustable_semaphore_t use int64_t for counts.