Speech decoder written in Standard ML