> Range(5)
Range(5) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(5:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) 0
 1) 1
 2) 2
 3) 3
 4) 4
###
> Range(1, 5)
Range(1, 5) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(1:i8, 5:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) 1
 1) 2
 2) 3
 3) 4
###
> Range(1, 5, 2)
Range(1, 5, 2) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(1:i8, 5:i8, 2:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) 1
 1) 3
###
> Range(5, 1, -1)
Range(5, 1, -1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(5:i8, 1:i8, -1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) 5
 1) 4
 2) 3
 3) 2
###
> Range(5, 1, -2)
Range(5, 1, -2) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(5:i8, 1:i8, -2:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) 5
 1) 3
###
> Range(-3) // Empty
Range(-3) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-3:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
###
> Range(-3, -5) // Empty
Range(-3, -5) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-3:i8, -5:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
###
> Range(-5, -3)
Range(-5, -3) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-5:i8, -3:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) -5
 1) -4
###
> Range(-5, -3, +1)
Range(-5, -3, +1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-5:i8, -3:i8, 1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) -5
 1) -4
###
> Range(-3, -5, +1) // Empty
Range(-3, -5, +1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-3:i8, -5:i8, 1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
###
> Range(-5, -3, -1) // Empty
Range(-5, -3, -1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-5:i8, -3:i8, -1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
###
> Range(-3, -5, -1)
Range(-3, -5, -1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-3:i8, -5:i8, -1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) -3
 1) -4
###
> Range(-5, +3)
Range(-5, +3) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-5:i8, 3:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) -5
 1) -4
 2) -3
 3) -2
 4) -1
 5) 0
 6) 1
 7) 2
###
> Range(-5, +3, +1)
Range(-5, +3, +1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-5:i8, 3:i8, 1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) -5
 1) -4
 2) -3
 3) -2
 4) -1
 5) 0
 6) 1
 7) 2
###
> Range(+5, -3, +1) // Empty
Range(+5, -3, +1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(5:i8, -3:i8, 1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
###
> Range(-5, +3, -1) // Empty
Range(-5, +3, -1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-5:i8, 3:i8, -1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
###
> Range(+5, -3, -1)
Range(+5, -3, -1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(5:i8, -3:i8, -1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) 5
 1) 4
 2) 3
 3) 2
 4) 1
 5) 0
 6) -1
 7) -2
###
> Range(0, 0x7FFF_FFFF_FFFF_FFFF, 0) // Zero step produces empty
Range(0, 9223372036854775807, 0) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(0:i8, 9223372036854775807:i8, 0:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
###
> Range(0x7FFF_FFFF_FFFF_FFF0, 0x7FFF_FFFF_FFFF_FFF5)
Range(9223372036854775792, 9223372036854775797) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(9223372036854775792:i8, 9223372036854775797:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) 9223372036854775792
 1) 9223372036854775793
 2) 9223372036854775794
 3) 9223372036854775795
 4) 9223372036854775796
###
> Range(0x7FFF_FFFF_FFFF_FFF5, 0x7FFF_FFFF_FFFF_FFFF)
Range(9223372036854775797, 9223372036854775807) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(9223372036854775797:i8, 9223372036854775807:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) 9223372036854775797
 1) 9223372036854775798
 2) 9223372036854775799
 3) 9223372036854775800
 4) 9223372036854775801
 5) 9223372036854775802
 6) 9223372036854775803
 7) 9223372036854775804
 8) 9223372036854775805
 9) 9223372036854775806
###
> Range(0x7FFF_FFFF_FFFF_FFF5, 0x7FFF_FFFF_FFFF_FFFF, 3)
Range(9223372036854775797, 9223372036854775807, 3) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(9223372036854775797:i8, 9223372036854775807:i8, 3:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) 9223372036854775797
 1) 9223372036854775800
 2) 9223372036854775803
 3) 9223372036854775806
###
> Range(-0x7FFF_FFFF_FFFF_FFF0, -0x7FFF_FFFF_FFFF_FFF5, -1)
Range(-9223372036854775792, -9223372036854775797, -1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-9223372036854775792:i8, -9223372036854775797:i8, -1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) -9223372036854775792
 1) -9223372036854775793
 2) -9223372036854775794
 3) -9223372036854775795
 4) -9223372036854775796
###
> Range(-0x7FFF_FFFF_FFFF_FFF5, -0x7FFF_FFFF_FFFF_FFFF, -1)
Range(-9223372036854775797, -9223372036854775807, -1) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-9223372036854775797:i8, -9223372036854775807:i8, -1:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) -9223372036854775797
 1) -9223372036854775798
 2) -9223372036854775799
 3) -9223372036854775800
 4) -9223372036854775801
 5) -9223372036854775802
 6) -9223372036854775803
 7) -9223372036854775804
 8) -9223372036854775805
 9) -9223372036854775806
###
> Range(-0x7FFF_FFFF_FFFF_FFF5, -0x7FFF_FFFF_FFFF_FFFF, -3)
Range(-9223372036854775797, -9223372036854775807, -3) : i8*
BndKind:Call, Type:i8*, Bnd:(Call(∂.Range(-9223372036854775797:i8, -9223372036854775807:i8, -3:i8):i8*))
Func sig: () to i8*
Sequence: Seq<i8>
 0) -9223372036854775797
 1) -9223372036854775800
 2) -9223372036854775803
 3) -9223372036854775806
###
