def init(): p1 = sbits.get_type(512).get_input_from(1) p2 = sbits.get_type(512).get_input_from(2) print_ln("%s", p1.__rxor__(p2).reveal()) init()
