The following code in gftopk.web serves no purpose: @<Types...@>= @!text_file=packed file of text_char; Ok. Thanks for the report. -k