Extract const

Author: Lipen

usvm-ts/src/main/kotlin/org/usvm/machine/expr/CallApproximations.kt

@@ -328,13 +328,12 @@ private fun TsExprResolver.handleArrayFill(
         val auxArray = memory.allocConcrete(arrayType)
 
         // Initialize the auxiliary array filled with the given `value`
-        // TODO: why 10000?
         memory.initializeArray(
             auxArray,
             arrayType,
             elementSort,
             sizeSort,
-            (0 until 10_000).asSequence().map { value.asExpr(elementSort) }
+            (0 until ARRAY_FILL_SIZE).asSequence().map { value.asExpr(elementSort) }
         )
 
         // Copy the initialized aux array to the target array
@@ -353,6 +352,9 @@ private fun TsExprResolver.handleArrayFill(
     }
 }
 
+// TODO: why?
+private const val ARRAY_FILL_SIZE = 10_000
+
 /**
  * Handle the `Array.shift()` method call.
  * Removes the first element from the array and returns it.