pub fn I64_from_I32(x: I32) -> I64