// !forceNotNullTypes: false public object A { public fun main(args: Array) { } } fun main(args: Array) = A.main(args)