leo/examples/helloworld/inputs/helloworld.in

// The program input for helloworld/src/main.leo
[main]
public a: u32 = 1u32;
b: u32 = 2u32; // Input variable `b` is private by default.

[foo]
a: u64 = 1u64;