Use integer files not FILE files