// LANGUAGE_VERSION: 1.3

fun main(args: Array<String>) {

}