os0file.cc 147 KB