stringify.ml 538 Bytes