讨论 luogu题库评测使用的ocaml疑似太老了。