fn depth(n) = if n == 0 { 0 } else { 1 + depth(n - 1) }
view d = depth(3)