Function foo

    line 43
    FAILED to compute RF
    line 86
    FAILED to compute Bound