Added with-all-forms-exported to asteroids_util.