function test_1() =
  (
    assert 1 = 1
  )

function test_2() =
  (
    assert 2 = 2
  )

function test_3() =
  (
    assert 1 = 2
  )