stubs for insertelement and shufflevector