(func (result f32) (f32x4.extract_lane +03 (v128.const f32x4 0 0 0 0)))