add vnrw_gmp/vnmodrabin_gmp