Implement select(mask4, int4, int4)