Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/Qsort.exp" ...
Reading file "GL/Qsort.loc" ...
Parsing module "Qsort" ...
Compiling module "Qsort" ...
Module "Qsort" compiled.
[] <- Loading module "Qsort" ...
[Qsort] <- 
x = [-22,-3,1,3,6,45,66] ? Yes
[Qsort] <-