module muxxor_4T (
    input a_i,b_i,not_b_i,in0_i,in1_i,
    output o
);
  assign o = a_i ^ b_i ? in0_i : in1_i;
endmodule