%//
%// This is an example computing n-th fib number on buil-it "int" type
%//
%sym int fib(int)
%var int n;
%rule fib(0) %--> return(1);
%rule fib(1) %--> return(1);
%rule fib(n) %--> return(fib(n-1)+fib(n-2));
%%
void cfib(int n) {
printf("fib(%d) == %d\n", n, fib(n));
}
main() {
cfib(2);
cfib(3);
cfib(4);
cfib(5);
cfib(6);
cfib(10);
}