https://jj09.net/spark-ada-programming-language/