function test_valid_1() = assert 1 = 1

function test_valid_2() = assert 2 = 2

function test_assertion_failure() = assert 2 = 1

function test_runtime_failure() =
  (
    substring("abc", 5, 2);
    ()
  )

function test_segmentation_fault() =
  let
    type rectype = {name : string, age : int}
    var nobody: rectype := nil
  in
    nobody.age := nobody.age + 1
  end

function test_invalid_operation() =
  let
    var i := 1
    var j := 2
  in
    j := j - 2;
    i := i / j
  end