fun fail_at_depth(depth) { fun fail(current_depth) { assert(current_depth < depth); fail(current_depth + 1); } fail(0); } fail_at_depth(9);