[main]
a: u128 = 4u128;
b: u128 = 2u128;
c: u128 = 2u128;

[registers]
r0: bool = true;