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