[main]
a: field = 1;
b: field = -1;
y: bool = true;

[registers]
r0: bool = false;