SELECT_I8, SELECT_I16, SELECT_I32, SELECT_F32, SELECT_F64, SELECT_V128: better versions, probably :)