xv65: exec