Sequential and FJ version of Fib