use fstream