Links for is-syncpack-base-steps