[main] a: bool = true; b: bool = true; [registers] x: bool = false;