function test_1() =
  (
    assert 1 = 1
  )