let x =
  assert (1 > 0);
  0