Commit used for the benchmarks of the ECOOP 2020 submission