zero

fun zero(): IntegerCost