emit the variables in sorted order