rename eXVM to RaVem, and added some nmemonics