affirm reg signed [31:0] x;
affirm reg signed [31:0] y;