read-nums
dup
max
double
0
primes #(0: n_primes)
0
left-cons
select
unlines