pub const F64X2_REPLACE_LANE: u32 = 0x17;