error

fun error(kind: String)