This will succeed with sideCondVerifierOptions, as Copilot's BwShiftR operation should only accept second arguments as large as C's >> operation does.