Do you mean `file.flush`?