(func $i8x16.extract_lane_s-arg-empty (result i32) (i8x16.extract_lane_s))