This will succeed with sideCondVerifierOptions, as Copilot's indexing operation should be out of bounds precisely when C array indexes are out of bounds.