[main] a: group = (0, -)group; b: group = (0, -)group; [registers] r0: bool = true;