leo/examples/hackers-delight/ntzsmallvals/inputs/ntzsmallvals.in

// The program input for ntzsmallvals/src/main.leo
[main]
public x: u32 = 2147483648u32;