(func (result f32) (f32x4.extract_lane  -1 (v128.const f32x4 0 0 0 0)))