add SMV element and modify translation of arch