WS stuff
Correct implementation and translation of 'vselect'