1.5-plus-SPARK_1.6 0.7.2 API