Sys_ext: read_file, write_file.