Added 1.6-initialize_program_state