Halma 1.0-SNAPSHOT API