fun fail() : Nothing {
  throw new java.lang.RuntimeException()
}