diff --git a/claripy/backends/backend_vsa.py b/claripy/backends/backend_vsa.py
index <HASH>..<HASH> 100644
--- a/claripy/backends/backend_vsa.py
+++ b/claripy/backends/backend_vsa.py
@@ -623,6 +623,10 @@ class BackendVSA(Backend):
                     # >
                     lb = lb + 1
 
+            if stride == 0 and lb != ub:
+                # Make sure the final StridedInterval is always meaningful. See issue #55.
+                stride = 1
+
             si_replacement = _all_operations.SI(bits=rhs.length, stride=stride, lower_bound=lb, upper_bound=ub)
             return True, [(lhs, si_replacement)]
Cheap hack to fix issue #<I>.