Fixed ProgramState to compile.