pub fn I16_from_I8(x: I8) -> I16