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

program differential_sha256_init
use std.crypto.sha256
fn main() -> sha256.Sha256State { sha256.init() }