begin
  assert(1bi shl 2 = 4bi);
  assert(10bi shr 2 = 2bi);
end.