A venture in writing a larger SPARK project.