(random/seeded 42)
(random/seeded 0)
(random/seeded -1)
(random/seeded -9223372036854775808)
