"the behavior of the program"