Also read program.dat