pub fn I64_from_I16(x: I16) -> I64