%// %// 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); }