Dummy

fun Dummy(mandatory: Boolean)