[omitted: use read_file to see the current file]