2pc_const_bool.zok

def main(private bool a, private bool b) -> bool {
    bool c = true;
    return a == c;
}