Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/Str.exp" ...
Reading file "GL/Str.loc" ...
Parsing module "Str" ...
[] <- Reading file "GL/Str.exp" ...
Reading file "GL/Str.loc" ...
Parsing module "Str" ...
Compiling module "Str" ...
Module "Str" compiled.
[] <- Loading module "Str" ...
[Str] <- 
a = "Hello World" ? Yes
[Str] <-