const std = @import("std");
const gmp = @cImport(@cInclude("gmp.h"));

pub extern fn __gmpz_init(gmp.mpz_t) void;
pub extern fn __gmpz_init_set_ui(gmp.mpz_t, u32) void;
pub extern fn __gmpz_get_ui(gmp.mpz_t) u32;

var tmp1: gmp.mpz_t = undefined;

pub fn main() anyerror!void {
    __gmpz_init_set_ui(tmp1, 42);
    std.debug.assert(__gmpz_get_ui(tmp1) == 42);
}