Updating: adding libats/SATS/locking.sats