[main]
i: u32 = 2;

[registers]
r0: [u32; 3] = [0u32; 3];