Function foo

    line 43
    4
    O(1)
      line 27
      8
      O(1)
    line 58
    FAILED to compute RF