The plclub-ray benchmark produces incorrect results. The MLton version of the benchmark does produce correct results.