begin
  assert(0b11 = 3u);
  assert(0B011 = 3u)
end.