Function foo

    line 41
    8
    O(1)
      line 25
      16
      O(1)
    line 56
    FAILED to compute RF