The really cool thing is we get the right answer. Now, keep in mind that we need to "reduce" the answer each time. There is no direct translation to a function which eventually executes in terms of writing the IR. The answer is always 20. So now with the marvel of AI we can ask it to simplify the code and make it more readable. After doing this then we get this:

#include <stdio.h>

int fp(int l0) {
    int l1 = 2;
    int l2 = 2;
    int l3 = 0;
    int l4, l5, l6;
    int l7 = 0;
    int l8;

    while (1) {
        l4 = l2 + 1;
        l5 = l2 * 2;
        l8 = l5 < 10;

        if (l8) {
            l6 = l1 + l5;
            l7 = 0;
            l3 = l6;
        } else {
            l7 = 1;
        }

        if (l7) {
            return l1;
        } else {
            l1 = l3;
            l2 = l4;
        }
    }

    return l1;  // This return is technically unreachable
}

int main() {
    int f = fp(3);
    printf("Output: %d\n", f);
    return f;
}

After working with FP for a while now I am thrilled that this can be done in such a straightforward way. Truly, without any extra library imports or anything we can see what the machine sees. We see the "while" in TakeWhile and we see the 2x in there as well as the countfrom(). In terms of authoring your own FP language this could be really useful if you do not want to implement everything in a higher level language but want the same guarantees.