"porting to OCaml or other languages is straightforward." . . . .