empty

fun empty(): Header