xv65: changed some minor naming / formatting conventions
xv65: exec