Function foo

    line 19
    FAILED to compute RF
      line 19
      FAILED to compute RF
    line 114
    100
    O(1)
    line 81
    FAILED to compute RF
      line 81
      FAILED to compute RF