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

[registers]
r0: bool = true;