func_code: def maximum(n):
      if len(n) == 1:
          return n[0]
      maxr = maxi(n[1:])
      return n[0] if n[0] > maxr else minr
annotation: def maximum(n):
      if len(n) == 1:
          return n[0]
      maxr = maximum(n[1:])
      return n[0] if n[0] > maxr else maxr
  