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