method Main()
{
  assert 2 < 10;
}