[main]
a: u32 = 0u32;
b: u32 = 0u32;

[registers]
a: u32 = 0u32;
b: u32 = 0u32;