Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/Fibonacci.exp" ...
Reading file "GL/Fibonacci.loc" ...
Parsing module "Fibonacci" ...
[] <- Reading file "GL/Fibonacci.exp" ...
Reading file "GL/Fibonacci.loc" ...
Parsing module "Fibonacci" ...
Compiling module "Fibonacci" ...
Module "Fibonacci" compiled.
[] <- Loading module "Fibonacci" ...
[Fibonacci] <- 
y = 5789092068864820527338372482892113982249794889765 ? Yes
[Fibonacci] <- 
x = 235 ? Yes
[Fibonacci] <-