casex (in)
        8'b0xxxxxx1 : 2'b01;
        8'b1xxxxxx0 : 2'b10;
        8'b1xxxxxx1 : 2'b11;
        default     : 2'b00; // must specify
    endcase;