let
descr =
"do not record values for any of the statements of the program"