error: Vector lane count must be a positive compile-time integer constant
  --> examples/1502-vectors-runtime-lane-not-const.sx:14:16
   |
14 |     v : Vector(lanes(), f32) = ---;
   |                ^^^^^^^
