Also use `FILE.date` instead of `FILE.change_date` (`change_date` is the date of the last status change, quite often same as creation date, while `date` is the last modification date).
WSF_RESPONSE.put_file_content (f: FILE, a_offset: INTEGER; a_count: INTEGER)