Rewrite 05it-is-full-of-stars.ss