file readfile.c is checked