update setvl(i) pseudocode and format