module error_checker_xz (input [7:0] bus, output all_known, output has_unknown, output [7:0] bus_if_known);
wire any_xz = (^(bus ^ bus)) === 1'bx;
assign has_unknown = any_xz;
assign all_known = ~any_xz;
assign bus_if_known = {8{all_known}} & bus;
endmodule