testcase "test" {
  success
}

unittest test {
  \ Test.run()
}

concrete Test {
  @type run () -> ()
}

define Test {
  run () {}
}