A dialect of ML written by koba-e964.