// The program input for battleship/src/main.leo [main] public a: u32 = 1u32; b: u32 = 2u32;