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

program differential_keccak_zero_lane
use std.crypto.keccak256
fn main() -> keccak256.Lane { keccak256.zero_lane() }