testcase "test" {
  success Test.run()
}

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

define Test {
  run () {}
}