update cms style
Improved WGI_INPUT_STREAM.append_to_file (f: FILE; nb: INTEGER)