import "random" for Random

var random = Random.new(12345)

System.print(random.sample([], 0)) // expect: []
System.print(random.sample([1, 2, 3], 0)) // expect: []