Program  -  State determined by value of each variable

  including

   "instruction pointer"