Ported RMHMC