Type error at line 16: Argument(s) to operator '|' must be of type BitVector.
    y2 = x2 | r2;
         ^
Type error at line 17: Argument(s) to operator '|' must be of type BitVector.
    r2 = x2 | r2;
         ^
Parsing failed. 2 errors found.
