FuncSpec: do not destruct input argument