1const std = @import("std");
2const mod = @import("mod");
3
4extern fn work(x: u32) u32;
5
6pub fn main() !void {
7    _ = work(mod.half(25));
8}