[main] y: bool = true; [registers] r0: bool = false;