func_code: def maximum(l):
      max = -1 * sum(l)
      for i in l:
          if i > max:
              max = i
      return max
annotation: def maximum(l):
      max = l[0]
      for i in l:
          if i > max:
              max = i
      return max
  