Rewrite the sieve whiley program with the new Whiley syntax.