2 ms·

Also, you could find the whole project in https://plv.mpi-sws.org/rustbelt/ https://plv.mpi-sws.org/rustbelt/