ready: bit: true connected: bit: true busy: bit: false can_run :: ready and connected and not busy one: i32: 1 two: i32: 2 three: i32: 3 sum :: one + two * three eight: i32: 8 five: i32: 5 difference :: eight - five first_mask: u8: 1 second_mask: u8: 2 mask :: first_mask | second_mask is_ordered :: sum > difference