nested_func1 : x -> x + 1;
nested_func2 : x -> nested_func1 x;
nested_func3 : x -> nested_func2 x;
nested_func4 : x -> nested_func3 x;
nested_func5 : x -> nested_func4 x;

deep_nested : nested_func5 10;
..out deep_nested;