read-num
0
primes #(0: n_primes)
unlines