pub fn caml_bigint_256_num_limbs() -> i32