Function foo

    line 8
    max(0, (499 - call_to_nondet_line_38))
    O(n)

Total Bound: max(0, (499 - call_to_nondet_line_38))
Total Complexity: O(n)