locking_add and locking_contain work