[main] a: u8 = 4u8; b: u8 = 2u8; c: u8 = 2u8; [registers] r0: bool = true;