procedure main() every write( primes() \20 ) end procedure primes() suspend !(p := 1, a := [2]) | 1( |(p +:= 2), not( p % !a = 0), put(a, p) ) end