Empty

fun Empty()