let
descr =
"do not record the values obtained for the statements of function f"