core :: Sys :: print_result
fun print_result(n, res, chk: Int) do print chk.to_s + "\nPfannfuchen(" + n.to_s + ") = " + res.to_s end