ARVCNO and MadMek