[main] s: bool = true; a: i64 = 10i64; b: i64 = 5i64; c: i64 = 10i64; [registers] r0: bool = false;