% testing
for i = 0 : 20
  printf("%d %d\n", i, recfibo(i));
endfor