FILE: empty.kt
