Hmm, I think there's an edge-condition bug. Starting with fib(0), its values are (0,1,2,3,5,8...) instead of (1,1,2,3,5,8...).