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