neural/trident/tests/fixtures/differential/bigint_zero.tri

program differential_bigint_zero
use std.crypto.bigint
fn main() -> bigint.U256 { bigint.zero256() }