[main]
a: u32 = 1;
b: u32 = 2;

[registers]
r0: u32 = 0;