blob: 87188fbf2ddf03378f6394a9a0784002af440bba [file] [log] [blame]
begin
int shft := 2;
int i := 12;
bits x = BIN i;
int j := Abs(x Shl 2);
int k := Abs(x Shl shft);
assert (j = k)
end