pub fn I32_from_I16(x: I16) -> I32