IOExtra
writeFileLazy