void main() {
  assert(1 > 0);
  assert(1 < 0);
}