[main]
a: u32 = 4u32;
b: u32 = 2u32;
c: bool = true;

[registers]
r0: bool = true;