let descr = "do not unroll calls to function f (experimental)"