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