

 Function speed_pldi10_ex3

    line 5 / 11
    1 + max(0, (n + -1))
    O(n^1)
      line 7 / 10
      max(0, (n + -1))
      O(n^1)

Total Complexity: O(n^1)
