// add_5 should not be considered a unit test

function add_5(x: int): int = x + 5

function test_1() =
  (
    assert add_5(1) = 6
  )

function test_2() =
  (
    assert add_5(-1) = 4
  )

function test_3() =
  (
    assert add_5(0) = 5
  )