jshmrsn
fun exit(status: Int): Nothing { System.exit(status) throw Exception("(this should never be seen)") }